89fa908851114defc092399c18e190d2bda8ccb9,src/com/itmill/toolkit/terminal/gwt/client/ui/richtextarea/IRichTextArea.java,IRichTextArea,setHeight,#String#,156
Before Change
super.setHeight(h + "px");
int editorHeight = h - formatter.getOffsetHeight();
rta.setHeight(editorHeight + "px");
} else {
super.setHeight(height);
rta.setHeight("");
After Change
super.setHeight(height);
}
if (height == null || height.equals("")) {
rta.setHeight("");
} else {
int editorHeight = getOffsetHeight() - getExtraVerticalPixels()
- formatter.getOffsetHeight();
rta.setHeight(editorHeight + "px");
}
}